segment intersection proof